| emsoft | participants

Junya Shijubo

EMSOFT 2023: 23rd International Conference on Embedded Software

Probabilistic Black-Box Checking via Active MDP Learning

Junya Shijubo, Masaki Waga, and Kohei Suenaga